$\forall$$A$, $B$:Type. ($A$ = $B$) $\Rightarrow$ strong{-}subtype($A$;$B$)